-
1 формальная семантика
Русско-английский большой базовый словарь > формальная семантика
-
2 формальная семантика
Большой англо-русский и русско-английский словарь > формальная семантика
-
3 формальная семантика
Information technology: formal semanticsУниверсальный русско-английский словарь > формальная семантика
-
4 формальная семантика
sémantique f formelleРусско-французский политехнический словарь > формальная семантика
-
5 формальная семантика
Dictionnaire russe-français universel > формальная семантика
-
6 формальная семантика
Русско-английский словарь по вычислительной технике и программированию > формальная семантика
-
7 формальная семантика
formal semantics мат.Русско-английский научно-технический словарь Масловского > формальная семантика
-
8 денотационная семантика
Русско-английский большой базовый словарь > денотационная семантика
-
9 formal semantics
Большой англо-русский и русско-английский словарь > formal semantics
-
10 sémantique formelle
Dictionnaire polytechnique Français-Russe > sémantique formelle
-
11 formal semantics
English-Russian dictionary of computer science and programming > formal semantics
-
12 formal semantics
-
13 formal semantics
Англо-русский словарь по исследованиям и ноу-хау > formal semantics
-
14 formal semantics
-
15 inheritance semantics
-
16 formal semantics
Prolog proved to be an excellent tool for illustrating the formal semantics of programming languages. (К. Slonneger) — Пролог оказался превосходным инструментом для иллюстрирования формальной семантики языков программирования см. тж. semantics
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > formal semantics
-
17 формально
1. officially2. technical3. academic4. formally5. pro forma6. proforma7. formal8. ceremonial9. regular -
18 denotational semantics
-
19 general semantics
-
20 operational semantics
- 1
- 2
См. также в других словарях:
Формальная семантика — Для термина «семантика» см. другие значения. Формальная семантика это изучение семантики, или интерпретации, формальных и естественных языков путём их формального описания в математических терминах. Формальный язык может быть задан без… … Википедия
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
Семантика (значения) — Семантика (от др. греч. σημαντικός обозначающий): В Викисловаре есть статья « … Википедия
Формальная грамматика — Генеративная лингвистика … Википедия
семантика логическая — СЕМАНТИКА ЛОГИЧЕСКАЯ раздел логической науки, в котором изучают отношения выражений языка к обозначаемым объектам и выражаемому содержанию. Если семантика как раздел семиотики имеет дело с общими аспектами интерпретации любого типа… … Энциклопедия эпистемологии и философии науки
Формальная система — (формальная теория, аксиоматическая теория) результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны… … Википедия
СЕМАНТИКА — в математической логике исследование интерпретаций логического исчисления, формальной аксиоматич. теории; изучение смысла и значения конструкций формализованного языка теории, способа понимания его логич. связок и формул. С. уделяет внимание… … Математическая энциклопедия
Порождающая семантика — Генеративная лингвистика … Википедия
ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… … Философская энциклопедия
Логическая семантика — раздел логики (См. Логика), посвященный изучению значений и смыслов понятий (См. Понятие) и суждений (См. Суждение) и их формальных аналогов интерпретаций (См. Интерпретация) выражений (термов и формул) различных исчислений (См.… … Большая советская энциклопедия
КОНСТРУКТИВНАЯ СЕМАНТИКА — совокупность способов понимания суждений в конструктивной математике. Необходимость в особой семантике вызвана различием общих принципов, лежащих в основе традиционной (классической) и конструктивной математики (далее последний термин будет в… … Математическая энциклопедия